The associated sheaf functor theorem in algebraic set theory
نویسنده
چکیده
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.
منابع مشابه
Fuzzy Acts over Fuzzy Semigroups and Sheaves
lthough fuzzy set theory and sheaf theory have been developed and studied independently, Ulrich Hohle shows that a large part of fuzzy set theory is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...
متن کاملA ug 2 00 3 Representability of Hom implies flatness
Let X be a projective scheme over a noetherian base scheme S, and let F be a coherent sheaf on X. For any coherent sheaf E on X, consider the set-valued contravariant functor Hom(E,F) on S-schemes, defined by Hom(E,F)(T ) = Hom(ET ,FT ) where ET and FT are the pull-backs of E and F to XT = X ×S T . A basic result of Grothendieck ([EGA] III 7.7.8, 7.7.9) says that if F is flat over S then Hom(E,...
متن کاملSheaves on Artin Stacks
We develop a theory of quasi–coherent and constructible sheaves on algebraic stacks correcting a mistake in the recent book of Laumon and Moret-Bailly. We study basic cohomological properties of such sheaves, and prove stack–theoretic versions of Grothendieck’s Fundamental Theorem for proper morphisms, Grothendieck’s Existence Theorem, Zariski’s Connectedness Theorem, as well as finiteness Theo...
متن کاملScheme representation for first-order logic
Recall that every commutative ring R determines an affine scheme in algebraic geometry. This consists of two components: a topological space Spec(R) (the spectrum) and a sheaf of local rings OR (the structure sheaf). In this way, a scheme encodes both geometric and algebraic data. In this work, we present a construction of “logical schemes,” geometric entities which represent logical theories i...
متن کاملHulls and Husks
Let X be a normal scheme and F a coherent sheaf on X . The reflexive hull or double dual of F is the sheaf F ∗∗ := HomX(HomX(F,OX),OX). The natural map F → F ∗∗ kills the torsion subsheaf of F and the support of coker[F → F ] has codimension ≥ 2. This establishes a functor from the category of coherent sheaves on X to the category of reflexive coherent sheaves on X . The same construction works...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 156 شماره
صفحات -
تاریخ انتشار 2008